<html>
<head><meta charset="utf-8"><title>Rust Verification Workshop CFP · wg-formal-methods · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/183875-wg-formal-methods/index.html">wg-formal-methods</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/183875-wg-formal-methods/topic/Rust.20Verification.20Workshop.20CFP.html">Rust Verification Workshop CFP</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="218894064"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/183875-wg-formal-methods/topic/Rust%20Verification%20Workshop%20CFP/near/218894064" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Rajeev Joshi <a href="https://rust-lang.github.io/zulip_archive/stream/183875-wg-formal-methods/topic/Rust.20Verification.20Workshop.20CFP.html#218894064">(Dec 04 2020 at 21:34)</a>:</h4>
<p>For anyone interested in Rust verification: the Call For Proposals for the Rust Verification Workshop is now out.  Key items:</p>
<blockquote>
<p>We solicit proposals for contributed talks and tool demos. Proposals should be at most 2 pages, in either plain text or PDF format, and should specify how long a talk/demo the speaker wishes to give. By default, contributed talks will be 30 minutes long, but proposals for shorter or longer talks will also be considered.</p>
</blockquote>
<blockquote>
<p>We are interested in talks/demos on all topics related to the verification of Rust programs (including, for instance, program specification, deductive verification, model checking, symbolic execution, runtime monitoring, the semantics and formalization of Rust, and tool support). Talks about work in progress as well as proposals for challenge problems in Rust are particularly encouraged.</p>
</blockquote>
<blockquote>
<p><strong>Important Dates:</strong><br>
15 January, 2021: Abstract Submission Deadline<br>
25 January, 2021: Notification of Acceptance<br>
28 March, 2021: Workshop</p>
</blockquote>
<p>More details are <a href="https://sites.google.com/view/rustverify2021">on the workshop web site</a></p>



<a name="218983871"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/183875-wg-formal-methods/topic/Rust%20Verification%20Workshop%20CFP/near/218983871" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Xavier Denis <a href="https://rust-lang.github.io/zulip_archive/stream/183875-wg-formal-methods/topic/Rust.20Verification.20Workshop.20CFP.html#218983871">(Dec 06 2020 at 12:05)</a>:</h4>
<p>Thanks Rajeev!</p>



<a name="218984275"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/183875-wg-formal-methods/topic/Rust%20Verification%20Workshop%20CFP/near/218984275" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Florian Gilcher <a href="https://rust-lang.github.io/zulip_archive/stream/183875-wg-formal-methods/topic/Rust.20Verification.20Workshop.20CFP.html#218984275">(Dec 06 2020 at 12:16)</a>:</h4>
<p><span class="user-mention" data-user-id="204044">@Rajeev Joshi</span> am i reading correct that his is on-site in march, in luxemburg?</p>



<a name="218984304"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/183875-wg-formal-methods/topic/Rust%20Verification%20Workshop%20CFP/near/218984304" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/183875-wg-formal-methods/topic/Rust.20Verification.20Workshop.20CFP.html#218984304">(Dec 06 2020 at 12:18)</a>:</h4>
<p><span class="user-mention silent" data-user-id="215333">Florian Gilcher</span> <a href="#narrow/stream/183875-wg-formal-methods/topic/Rust.20Verification.20Workshop.20CFP/near/218984275">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="204044">Rajeev Joshi</span> am i reading correct that his is on-site in march, in luxemburg?</p>
</blockquote>
<p>on the ETAPS website it says</p>
<blockquote>
<p>We are closely monitoring the development of the COVID-19 pandemic. If it is not viable to hold ETAPS 2021 as a physical conference, we will run it virtually on the same dates. We will decide in January 2021 at the latest.</p>
</blockquote>



<a name="219087142"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/183875-wg-formal-methods/topic/Rust%20Verification%20Workshop%20CFP/near/219087142" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Rajeev Joshi <a href="https://rust-lang.github.io/zulip_archive/stream/183875-wg-formal-methods/topic/Rust.20Verification.20Workshop.20CFP.html#219087142">(Dec 07 2020 at 14:38)</a>:</h4>
<p><span class="user-mention" data-user-id="215333">@Florian Gilcher</span> If ETAPS does take place physically, we'll be on-site; else we'll do a virtual workshop. As <span class="user-mention" data-user-id="120791">@RalfJ</span> mentioned, ETAPS plans to decide in January.</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>